On the failure of BD- and BD, and an application to the anti-Specker property
نویسنده
چکیده
We give the natural topological model for ¬BD-N, and use it to show that the closure of spaces with the anti-Specker property under product does not imply BD-N. Also, the natural topological model for ¬BD is presented. Finally, for some of the realizability models known indirectly to falsify BD-N, it is brought out in detail how BD-N fails. keywords: anti-Specker, BD, BD-N, realizability, topological models AMS 2010 MSC: 03F60, 26E40
منابع مشابه
A Fast Strategy to Find Solution for Survivable Multicommodity Network
This paper proposes an immediately efficient method, based on Benders Decomposition (BD), for solving the survivable capacitated network design problem. This problem involves selecting a set of arcs for building a survivable network at a minimum cost and within a satisfied flow. The system is subject to failure and capacity restriction. To solve this problem, the BD was initially proposed with ...
متن کاملPrinciples weaker than BD-N
BD-N is a weak principle of constructive analysis. Several interesting principles implied by BD-N have already been identified, namely the closure of the anti-Specker spaces under product, the Riemann Permutation Theorem, and the Cauchyness of all partially Cauchy sequences. Here these are shown to be strictly weaker than BD-N, yet not provable in set theory alone under constructive logic. keyw...
متن کاملاثر رطوبت خاک و کود دامی بر تراکم پذیری خاک مزرعه لورک
Soil structure maintenance and stability is an important index indicating sustainable soil management. In this regard, components such as soil moisture and organic matter affect soil compactibility during farm machinery trafficking. Soils in Central Iran are commonly very low in organic matter (OM) and thus susceptible to compaction. This study was conducted to measure the effects of soil moist...
متن کاملاثر رطوبت خاک و کود دامی بر تراکم پذیری خاک مزرعه لورک
Soil structure maintenance and stability is an important index indicating sustainable soil management. In this regard, components such as soil moisture and organic matter affect soil compactibility during farm machinery trafficking. Soils in Central Iran are commonly very low in organic matter (OM) and thus susceptible to compaction. This study was conducted to measure the effects of soil moist...
متن کاملAnti-Cardiolipin and Anti-Neutrophil Cytoplasmic Antibodies in Iranian Patients with Behcet's Disease
Background: The prevalence of anti-Neutrophil Cytoplasmic Antibodies (ANCAs) and anti-Cardiolipin Antibodies (anti-CL Ab) in Behcet’s Disease (BD) and also their roles in vascular involvement is controversial. Objective: To assess the prevalence of ANCAs and anti-CL Ab as well as their correlations with clinical manifestations in Iranian patients with BD. Methods: In this case/control study, th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Symb. Log.
دوره 78 شماره
صفحات -
تاریخ انتشار 2013